/*
 * vendedores_service.cpp
 *
 */

#include "../channel_common/ChannelInterface.h"
#include "../../IPC/MessageQueue.h"
#include "../logger/logger.h"
#include "../../middleware/CommunicationVendedor.h"
#include "../capa_servicios_distribuidos/QueueLauncher.h"
#include "../channel_common/agent_address_service/AgentAddressService.h"

int main(int argc, char**argv)
{
	std::string hostName = "vendedores_libres_service_pc";

	ipc::MessageQueue<middleware::CommunicationVendedor::AvailableVendedorStruct>::
					destroy(IPCUids::getFile(middleware::CommunicationVendedor::UIDVendedorAvailable)+hostName,
							IPCUids::getKey(middleware::CommunicationVendedor::UIDVendedorAvailable));
	ipc::MessageQueue<middleware::CommunicationVendedor::VendedorReplyStruct>::
					destroy(IPCUids::getFile(middleware::CommunicationVendedor::UIDVendedorReply)+hostName,
							IPCUids::getKey(middleware::CommunicationVendedor::UIDVendedorReply));

	channel::ChannelInterface::disconnectChannel(hostName);
	channel::ChannelInterface::destroy(hostName);

}

